- numerical semantics
- 数值语义学
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
numerical semantics
Look at other dictionaries:
Numerical Mathematics Consortium — logo The Numerical Mathematics Consortium (NMC) is a group of vendors and technical professionals working to standardize a set of core numerical mathematics. The Numerical Mathematics Consortium is committed to numerical algorithm development… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
MATLAB — For the region in Bangladesh, see Matlab Upazila. MATLAB MATLAB R2011a screenshot … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Non-Aristotelian logic — The term non Aristotelian logic, sometimes shortened to null A, means any non classical system of logic which rejects one of Aristotle s premises (see term logic). Contents 1 History 2 Use in science fiction 3 See also 4 … Wikipedia
List of academic disciplines — An academic discipline, or field of study, is a branch of knowledge that is taught and researched at the college or university level. Disciplines are defined (in part), and recognized by the academic journals in which research is published, and… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
